منابع مشابه
Algol-like Language
We present a denotational semantics for an Algol-like language Alg, which is fully abstract for the second order subset of Alg. This constitutes the rst signiicant full abstraction result for a block structured language with local variables. As all the published`test equivalences' 13, 8, 23] for Algol-like languages are contained in the second order subset, they can all be validated (easily) in...
متن کاملAlgol-like Language (preliminary Report)
We present a denotational semantics for an Algol-like language Alg which is fully abstract for the second order subset of Alg. This constitutes the rst signiicant full abstraction result for a block structured language with local variables. In this preliminary report we concentrate on the construction of the denotational model and on the main ideas of the full abstraction proof. For more backgr...
متن کاملObjects and Classes in Algol-Like Languages
Many object-oriented languages used in practice descend from Algol. With this motivation, we study the theoretical issues underlying such languages via the theory of Algollike languages. It is shown that the basic framework of this theory extends cleanly and elegantly to the concepts of objects and classes. An important idea that comes to light is that classes are abstract data types, whose the...
متن کاملSemantics of Dynamic Variables in Algol-like Languages
A denotational semantic model of an Algol-like programming language with local variables, providing fully functional dynamic variable manipulation is presented. Along with the other usual language features, the standard operations with pointers, that is reattachement and dereferencing, and dynamic variables, that is creation and assignment, are explicated using a possible worlds, functor catego...
متن کاملPractical Aspects of Specialization of Algol-like Programs
A linearized scheme of polyvariant specialization for im perative languages is described in the paper The scheme is intended for increasing e ciency of specialization Main properties of the scheme are linear generation of residual code and single memory shared by di erent variants of specialization process Introduction As it was mentioned in The memory requirements for the specializer are at th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Astronomical Union Colloquium
سال: 1989
ISSN: 0252-9211
DOI: 10.1017/s025292110008828x